type X = {-m(): T}

